[INFO] cloning repository https://github.com/lacker/click
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/lacker/click" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Flacker%2Fclick", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Flacker%2Fclick'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 4b65c46c36ac66eba96bc9da2d1d31c698b72e1c
[INFO] testing lacker/click against try#28f95933dc0727396c07b48d0a8cb5211b7fb472 for pr-154065-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Flacker%2Fclick" "/workspace/builds/worker-1-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-1-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/lacker/click
[INFO] finished tweaking git repo https://github.com/lacker/click
[INFO] tweaked toml for git repo https://github.com/lacker/click written to /workspace/builds/worker-1-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/lacker/click on toolchain 28f95933dc0727396c07b48d0a8cb5211b7fb472
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+28f95933dc0727396c07b48d0a8cb5211b7fb472" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/lacker/click already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+28f95933dc0727396c07b48d0a8cb5211b7fb472" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+28f95933dc0727396c07b48d0a8cb5211b7fb472" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 5026a868a21b090dde1d9d1045a1d988136b1d8173ccdc0e05b607589fa4eb95
[INFO] running `Command { std: "docker" "start" "-a" "5026a868a21b090dde1d9d1045a1d988136b1d8173ccdc0e05b607589fa4eb95", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "5026a868a21b090dde1d9d1045a1d988136b1d8173ccdc0e05b607589fa4eb95", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "5026a868a21b090dde1d9d1045a1d988136b1d8173ccdc0e05b607589fa4eb95", kill_on_drop: false }`
[INFO] [stdout] 5026a868a21b090dde1d9d1045a1d988136b1d8173ccdc0e05b607589fa4eb95
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+28f95933dc0727396c07b48d0a8cb5211b7fb472" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] e371347a509d9ab10cab817b5a02b6f506e37da52e57e4eec202f25c12d66b09
[INFO] running `Command { std: "docker" "start" "-a" "e371347a509d9ab10cab817b5a02b6f506e37da52e57e4eec202f25c12d66b09", kill_on_drop: false }`
[INFO] [stderr]    Compiling click v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 4.51s
[INFO] running `Command { std: "docker" "inspect" "e371347a509d9ab10cab817b5a02b6f506e37da52e57e4eec202f25c12d66b09", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e371347a509d9ab10cab817b5a02b6f506e37da52e57e4eec202f25c12d66b09", kill_on_drop: false }`
[INFO] [stdout] e371347a509d9ab10cab817b5a02b6f506e37da52e57e4eec202f25c12d66b09
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+28f95933dc0727396c07b48d0a8cb5211b7fb472" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 03ed3babd78ae5307f0e6a4d545802d2cba5fe34dd639d7619d1ef41e936e2f4
[INFO] running `Command { std: "docker" "start" "-a" "03ed3babd78ae5307f0e6a4d545802d2cba5fe34dd639d7619d1ef41e936e2f4", kill_on_drop: false }`
[INFO] [stderr]    Compiling click v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 8.74s
[INFO] running `Command { std: "docker" "inspect" "03ed3babd78ae5307f0e6a4d545802d2cba5fe34dd639d7619d1ef41e936e2f4", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "03ed3babd78ae5307f0e6a4d545802d2cba5fe34dd639d7619d1ef41e936e2f4", kill_on_drop: false }`
[INFO] [stdout] 03ed3babd78ae5307f0e6a4d545802d2cba5fe34dd639d7619d1ef41e936e2f4
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-1-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+28f95933dc0727396c07b48d0a8cb5211b7fb472" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 19eadf5dbc6451fbd41138ce175b69a8d0166e2f8d00ba3ec8fdf356ad716d02
[INFO] running `Command { std: "docker" "start" "-a" "19eadf5dbc6451fbd41138ce175b69a8d0166e2f8d00ba3ec8fdf356ad716d02", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.07s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/click-34e01ab9c6b0e53c)
[INFO] [stdout] running 429 tests
[INFO] [stdout] test elab::loader::tests::failing_cases_reports_proof_shape ... ok
[INFO] [stdout] test elab::loader::tests::failing_exists_reports_goal_shape ... ok
[INFO] [stdout] test elab::loader::tests::failing_apply_reports_source_theorem_name ... ok
[INFO] [stdout] test elab::loader::tests::failing_rewrite_reports_reverse_direction_hint ... ok
[INFO] [stdout] test elab::loader::tests::failing_left_and_right_report_goal_shape ... ok
[INFO] [stdout] test elab::loader::tests::failing_rewrite_reports_non_equality_proof_and_goal ... ok
[INFO] [stdout] test elab::loader::tests::failing_simp_reports_simplification_steps ... ok
[INFO] [stdout] test elab::loader::tests::failing_simpa_reports_expansion_oriented_rules_as_simpa ... ok
[INFO] [stdout] test elab::loader::tests::failing_value_induction_reports_goal_shape_and_predicate_mismatch ... ok
[INFO] [stdout] test elab::loader::tests::failing_list_induction_reports_goal_shape_and_predicate_mismatch ... ok
[INFO] [stdout] test elab::loader::tests::failing_or_elim_reports_proof_shape ... ok
[INFO] [stdout] test elab::loader::tests::failing_simp_reports_expansion_oriented_rules ... ok
[INFO] [stdout] test elab::loader::tests::failing_split_reports_goal_shape ... ok
[INFO] [stdout] test elab::loader::tests::failing_exact_reports_structured_goal_and_proof ... ok
[INFO] [stdout] test elab::loader::tests::load_section_records_section_and_reports_failures ... ok
[INFO] [stdout] test elab::loader::tests::load_str_checks_if_theorems ... ok
[INFO] [stdout] test elab::loader::tests::load_str_checks_value_kind_theorems ... ok
[INFO] [stdout] test elab::loader::tests::load_str_checks_source_or_proof_forms ... ok
[INFO] [stdout] test elab::loader::tests::load_str_checks_structured_by_tactics ... ok
[INFO] [stdout] test elab::loader::tests::load_str_checks_simp_tactic_theorems ... ok
[INFO] [stdout] test elab::loader::tests::load_str_checks_absurd_and_if_condition_bool_theorems ... ok
[INFO] [stdout] test elab::loader::tests::load_str_checks_symbol_eq_is_bool_theorems ... ok
[INFO] [stdout] test elab::loader::tests::load_str_defines_computations_and_theorems ... ok
[INFO] [stdout] test elab::loader::tests::load_file_reads_source_from_disk ... ok
[INFO] [stdout] test elab::loader::tests::load_str_checks_fold_tactic_theorems ... ok
[INFO] [stdout] test elab::loader::tests::load_str_checks_by_tactic_theorems ... ok
[INFO] [stdout] test elab::loader::tests::proof_application_rejects_explicit_proof_premise_with_hint ... ok
[INFO] [stdout] test elab::simp::tests::instantiate_simp_rule_infers_arguments_and_uses_available_premises ... ok
[INFO] [stdout] test elab::loader::tests::specialize_missing_premise_reports_context ... ok
[INFO] [stdout] test elab::source::tests::allocates_theorem_local_symbols ... ok
[INFO] [stdout] test elab::simp::tests::instantiate_simp_rule_skips_unavailable_premises ... ok
[INFO] [stdout] test elab::simp::tests::simp_rewrite_uses_first_matching_rule ... ok
[INFO] [stdout] test elab::loader::tests::load_str_does_not_commit_failed_modules ... ok
[INFO] [stdout] test elab::source::tests::computes_to_elaborates_to_equal ... ok
[INFO] [stdout] test elab::source::tests::parses_calc_tactic_scripts ... ok
[INFO] [stdout] test elab::source::tests::parses_direct_value_kind_test_aliases ... ok
[INFO] [stdout] test elab::source::tests::parses_bool_inversion_proof_helpers ... ok
[INFO] [stdout] test elab::source::tests::parses_by_tactic_scripts ... ok
[INFO] [stdout] test elab::source::tests::parses_fold_tactic_scripts ... ok
[INFO] [stdout] test elab::source::tests::parses_eliminator_tactic_scripts ... ok
[INFO] [stdout] test elab::source::tests::parses_have_and_proof_application_tactics ... ok
[INFO] [stdout] test elab::source::tests::parses_list_induction_tactic_scripts ... ok
[INFO] [stdout] test elab::source::tests::parses_existential_and_conjunction_eliminators ... ok
[INFO] [stdout] test elab::source::tests::parses_module_computations_and_theorems ... ok
[INFO] [stdout] test elab::source::tests::parses_named_errors ... ok
[INFO] [stdout] test elab::source::tests::parses_explicit_tactic_continuation_bodies ... ok
[INFO] [stdout] test elab::source::tests::parses_if_computation ... ok
[INFO] [stdout] test elab::source::tests::parses_proof_helpers ... ok
[INFO] [stdout] test elab::source::tests::parses_rewrite_tactic_scripts ... ok
[INFO] [stdout] test elab::source::tests::rejects_unbound_identifiers ... ok
[INFO] [stdout] test elab::source::tests::parses_simp_tactic_scripts ... ok
[INFO] [stdout] test elab::source::tests::source_env_allocates_names_and_symbols_from_source ... ok
[INFO] [stdout] test elab::source::tests::parses_simpa_tactic_scripts ... ok
[INFO] [stdout] test elab::source::tests::parses_symbol_eq_computation_and_is_bool_prop ... ok
[INFO] [stdout] test kernel::tests::alpha_eq_prop_renames_bound_variables_only ... ok
[INFO] [stdout] test kernel::tests::application_reduces_argument_before_beta ... ok
[INFO] [stdout] test kernel::tests::and_or_rules_work ... ok
[INFO] [stdout] test elab::source::tests::parses_value_induction_tactic_scripts ... ok
[INFO] [stdout] test elab::source::tests::parses_value_kind_computation_and_reserved_kind_symbols ... ok
[INFO] [stdout] test elab::source::tests::rejects_legacy_sorted_quantifier_form ... ok
[INFO] [stdout] test elab::source::tests::reports_likely_missing_close_paren_after_have ... ok
[INFO] [stdout] test elab::source::tests::rejects_raw_eliminators_as_tactics ... ok
[INFO] [stdout] test kernel::tests::alpha_eq_computation_renames_lambda_and_list_case_binders ... ok
[INFO] [stdout] test kernel::tests::application_propagates_effects ... ok
[INFO] [stdout] test kernel::tests::apply_value_argument_extracts_argument_termination ... ok
[INFO] [stdout] test kernel::tests::assume_uses_context ... ok
[INFO] [stdout] test kernel::tests::apply_known_non_callable_reduces_to_error ... ok
[INFO] [stdout] test kernel::tests::beta_reduction_requires_value_premise ... ok
[INFO] [stdout] test kernel::tests::checker_accepts_alpha_equivalent_goal ... ok
[INFO] [stdout] test kernel::tests::computation_definitions_unfold_during_evaluation ... ok
[INFO] [stdout] test kernel::tests::computations_classify_values_effects_and_outcomes ... ok
[INFO] [stdout] test kernel::tests::cons_evaluates_head_then_tail_and_propagates_effects ... ok
[INFO] [stdout] test kernel::tests::distinct_outcomes_prove_absurd_and_absurd_eliminates ... ok
[INFO] [stdout] test kernel::tests::distinct_outcomes_uses_contextual_value_constructors ... ok
[INFO] [stdout] test kernel::tests::exists_intro_and_elim_work ... ok
[INFO] [stdout] test kernel::tests::exists_intro_uses_witness ... ok
[INFO] [stdout] test kernel::tests::forall_intro_and_elim_work ... ok
[INFO] [stdout] test kernel::tests::free_symbols_ignore_list_case_cons_binder ... ok
[INFO] [stdout] test kernel::tests::head_and_tail_destructure_cons ... ok
[INFO] [stdout] test kernel::tests::if_does_not_evaluate_unchosen_branch ... ok
[INFO] [stdout] test kernel::tests::if_open_condition_is_neutral_and_non_bool_values_error ... ok
[INFO] [stdout] test kernel::tests::if_propagates_condition_effects ... ok
[INFO] [stdout] test kernel::tests::head_and_tail_known_non_cons_reduce_to_error ... ok
[INFO] [stdout] test kernel::tests::if_true_with_false_else_elims_invert_boolean_results ... ok
[INFO] [stdout] test kernel::tests::if_value_condition_bool_extracts_boolean_condition ... ok
[INFO] [stdout] test kernel::tests::if_reduces_true_false_and_condition_first ... ok
[INFO] [stdout] test kernel::tests::if_value_with_effect_then_elims_invert_effect_guards ... ok
[INFO] [stdout] test kernel::tests::if_value_condition_bool_uses_contextual_value_facts ... ok
[INFO] [stdout] test kernel::tests::is_value_distinguishes_values_from_pending_computations ... ok
[INFO] [stdout] test kernel::tests::list_induction_rejects_stale_step_variables ... ok
[INFO] [stdout] test kernel::tests::implies_intro_and_elim_work ... ok
[INFO] [stdout] test kernel::tests::lambda_is_a_value_without_evaluating_body ... ok
[INFO] [stdout] test kernel::tests::list_case_open_computation_is_neutral_and_known_non_list_reduces_to_error ... ok
[INFO] [stdout] test kernel::tests::list_reductions_require_value_and_list_premises ... ok
[INFO] [stdout] test kernel::tests::non_symbol_non_lambda_values_are_lists ... ok
[INFO] [stdout] test kernel::tests::primitive_proof_proves_structural_props ... ok
[INFO] [stdout] test kernel::tests::prop_helpers_construct_expected_shapes ... ok
[INFO] [stdout] test kernel::tests::raw_checker_known_proofs_compose_with_rules ... ok
[INFO] [stdout] test kernel::tests::rewrite_uses_equality_inside_template ... ok
[INFO] [stdout] test kernel::tests::list_case_reduces_nil_and_cons ... ok
[INFO] [stdout] test kernel::tests::list_induction_proves_reflexivity_for_lists ... ok
[INFO] [stdout] test kernel::tests::step_beta_reduces_after_argument_is_ready ... ok
[INFO] [stdout] test kernel::tests::step_proof_proves_one_step_reduction ... ok
[INFO] [stdout] test kernel::tests::step_proof_proves_value_kind_reduction ... ok
[INFO] [stdout] test kernel::tests::head_and_tail_open_computations_are_neutral ... ok
[INFO] [stdout] test kernel::tests::step_proof_proves_if_reduction ... ok
[INFO] [stdout] test kernel::tests::step_proof_proves_symbol_eq_reduction ... ok
[INFO] [stdout] test kernel::tests::step_proof_reduces_arguments_before_beta ... ok
[INFO] [stdout] test kernel::tests::step_proof_uses_context_to_prove_value_kind_list_reduction ... ok
[INFO] [stdout] test kernel::tests::step_proofs_use_bindings_computation_definitions ... ok
[INFO] [stdout] test kernel::tests::steps_proof_proves_multi_step_reduction ... ok
[INFO] [stdout] test kernel::tests::substitute_prop_avoids_quantifier_capture ... ok
[INFO] [stdout] test kernel::tests::substitution_and_free_symbols_descend_into_if ... ok
[INFO] [stdout] test kernel::tests::substitution_and_free_symbols_descend_into_symbol_eq ... ok
[INFO] [stdout] test kernel::tests::substitution_and_free_symbols_descend_into_value_kind ... ok
[INFO] [stdout] test kernel::tests::substitution_avoids_lambda_capture ... ok
[INFO] [stdout] test kernel::tests::substitution_avoids_list_case_capture ... ok
[INFO] [stdout] test kernel::tests::substitution_descends_into_cons_and_destructors ... ok
[INFO] [stdout] test kernel::tests::symbol_eq_open_operands_are_neutral_and_effects_propagate ... ok
[INFO] [stdout] test kernel::tests::symbol_eq_reduces_after_evaluating_operands_left_to_right ... ok
[INFO] [stdout] test kernel::tests::symbol_eq_reduces_reflexive_open_symbol_in_context ... ok
[INFO] [stdout] test kernel::tests::symbol_eq_result_bool_extracts_boolean_result ... ok
[INFO] [stdout] test kernel::tests::symbol_eq_true_elim_inverts_true_symbol_comparisons ... ok
[INFO] [stdout] test kernel::tests::symbol_eq_true_elims_expose_symbol_operands ... ok
[INFO] [stdout] test kernel::tests::theorem_exists_intro_supports_predicate_witnesses ... ok
[INFO] [stdout] test kernel::tests::theorem_first_order_rules_build_checked_theorems ... ok
[INFO] [stdout] test kernel::tests::theorem_from_proof_checks_closed_proofs ... ok
[INFO] [stdout] test kernel::tests::theorem_rewrite_moves_props_across_equality ... ok
[INFO] [stdout] test kernel::tests::theorem_equality_rules_build_checked_theorems ... ok
[INFO] [stdout] test kernel::tests::theory_defines_closed_computations ... ok
[INFO] [stdout] test kernel::tests::symbol_eq_result_bool_uses_contextual_value_facts ... ok
[INFO] [stdout] test kernel::tests::symbol_eq_returns_false_for_distinct_or_non_symbol_values ... ok
[INFO] [stdout] test kernel::tests::value_kind_malformed_list_reduces_to_error ... ok
[INFO] [stdout] test kernel::tests::theory_combinators_use_their_bindings ... ok
[INFO] [stdout] test kernel::tests::value_kind_open_input_is_neutral_and_effects_propagate ... ok
[INFO] [stdout] test kernel::tests::value_kind_reduces_after_evaluating_input ... ok
[INFO] [stdout] test kernel::tests::value_kind_returns_symbol_lambda_or_list ... ok
[INFO] [stdout] test lang::c::tests::c0_memory_safety_demo_fill_three_ints ... ok
[INFO] [stdout] test lang::c::tests::c0_syntax_targets_megakernel_assignment_and_sequence ... ok
[INFO] [stdout] test lang::c::tests::c0_syntax_targets_megakernel_assignment_function_call ... ok
[INFO] [stdout] test lang::c::tests::c0_syntax_targets_megakernel_known_function_call_assignment ... ok
[INFO] [stdout] test lang::c::tests::c0_syntax_targets_megakernel_int32_sub_and_comparisons ... ok
[INFO] [stdout] test lang::c::tests::c0_syntax_targets_megakernel_local_address_of ... ok
[INFO] [stdout] test lang::c::tests::c0_syntax_targets_megakernel_max_body ... ok
[INFO] [stdout] test lang::c::tests::c0_syntax_targets_megakernel_pointer_addition_load ... ok
[INFO] [stdout] test lang::c::tests::c0_syntax_targets_megakernel_max_function_call ... ok
[INFO] [stdout] test kernel::tests::theory_known_proofs_cite_named_theorems ... ok
[INFO] [stderr] 
[INFO] [stdout] test lang::c::tests::c0_syntax_targets_megakernel_store_and_load ... ok
[INFO] [stdout] test lang::c::tests::c0_syntax_targets_megakernel_store_and_load_function_call ... ok
[INFO] [stdout] test megakernel::tests::block_backed_missing_load_returns_symbolic_value_without_obligation ... ok
[INFO] [stdout] test megakernel::tests::assignment_and_sequence_update_native_state ... ok
[INFO] [stdout] test lang::c::tests::c0_syntax_targets_megakernel_while_countdown ... ok
[INFO] [stdout] test megakernel::tests::builtin_obligation_solver_proves_trivial_props ... ok
[INFO] [stdout] test megakernel::tests::call_assign_uses_function_environment ... ok
[INFO] [stdout] test megakernel::tests::concrete_function_spec_is_native_theorem ... ok
[INFO] [stderr] thread 'elab::simp::tests::simp_reports_recursive_expansion_before_stack_overflow' (49) has overflowed its stack
[INFO] [stderr] fatal runtime error: stack overflow, aborting
[INFO] [stderr] error: test failed, to rerun pass `--lib`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/target/debug/deps/click-34e01ab9c6b0e53c` (signal: 6, SIGABRT: process abort signal)
[INFO] running `Command { std: "docker" "inspect" "19eadf5dbc6451fbd41138ce175b69a8d0166e2f8d00ba3ec8fdf356ad716d02", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "19eadf5dbc6451fbd41138ce175b69a8d0166e2f8d00ba3ec8fdf356ad716d02", kill_on_drop: false }`
[INFO] [stdout] 19eadf5dbc6451fbd41138ce175b69a8d0166e2f8d00ba3ec8fdf356ad716d02
